Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
541	IEEE 21st21st International International Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-01-30 20:10:35 Constraint automaton Automata theory Model checking Web service
542	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-07-29 10:40:50 Applied mathematics Computing Formal verification Model checking Programming tool Programming language Exception handling Device driver synthesis and verification Computer-aided software engineering Formal methods Logic in computer science Theoretical computer science
543	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2011-10-25 12:01:10 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
544	Finding, Monitoring, and Checking Claims Computationally Based on Structured Data The iCheck/uClaim Team Brett Walenz, You (Will) Wu, Seokhyun (Alex) Song, Emre Sonmez, Eric Wu, Kevin Wu, Pankaj K. Agarwal, Jun Yang (Duk Add to Reading List Source URL: compute-cuj.org Language: English - Date: 2014-10-24 07:34:17 Data Database management systems Relational model Database Relation Data model Fact Tuple Claim Database theory Data management Mathematics
545	DOC Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-02-03 05:49:55 Logic in computer science Computer science Automated theorem proving Acorn Computers Formal verification Model checking Automated reasoning ARM architecture CPU design Formal methods Applied mathematics Theoretical computer science
546	I:/Ganesh/Research/AAAI2011/camera-ready/aaai-2011-camera-ready-vh-edited.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:22:51 Temporal logic Networks Theoretical computer science Model checking Search algorithms Kripke structure A* search algorithm Connectivity Linear temporal logic Graph theory Mathematics Network theory
547	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 1: Model-checking of discrete event systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-03-20 20:39:37 Diagrams Petri net École centrale de Nantes Centrale Graduate School Grandes écoles Concurrency
548	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta May 28, 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:47 FO Finite model theory Mathematics
549	PART 2: Proposed Research and Yu formally described a substantial subset of the Motorola MC68020 processor in the logic of the Boyer-Moore prover and used the resulting model to verify compiler generated object code for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-02 11:31:35 Mathematical software Formal verification KeY ARM architecture Model checking Computer security ACL2 Software development process Logic simulation Electronic engineering Theoretical computer science Formal methods
550	Planning Via Petri Net Unfolding Sarah Hickmott1 , Jussi Rintanen2 , Sylvie Thi´ebaux2 , Lang White1 National ICT Australia 1 School of Electrical & Electronic Engineering, The University of Adelaide, & 2 Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:18 Models of computation Concurrency Diagrams Petri net Computer science Heuristic function A* search algorithm Model checking Unfolding Mathematics Heuristics Theoretical computer science

UPDATE